|
|
Analyza hybridních dynamických systémů
Holub, Libor ; Findura, Milan (oponent) ; Vavřín, Petr (vedoucí práce)
V této práci je řešena problematika popisu, modelování a analýzy hybridních dynamických systémů. Cílem práce je vybrat vhodnou metodu pro řešení hybridních dynamických systémů a zaměřit se na řešení otázek stanovení řiditelnosti, pozorovatelnosti a stability hybridních dynamických systémů. Práce se zabývá dvěmi typy hybridních systémů. V první části je uveden popis a modelování hybridních systémů složených ze spojité části a diskrétní části tvořené systémem diskrétních událostí. Pro popis a modelování těchto hybridních systémů jsou použity hybridní automaty a hybridní Petriho sítě. Uvedené možnosti popisu a modelování jsou ukázány na jednoduchých vzorových příkladech. Druhá část práce je zaměřena na popis, modelování a analýzu hybridních dynamických systémů, které jsou tvořeny spojením spojitého dynamického systému a diskrétního dynamického systému. Pro popis, modelování a analýzu hybridních dynamických systémů je použito stavového prostoru. Jsou zde uvedeny obecné stavové rovnice, pomocí nichž je možné provést popis hybridního systému, a jim odpovídající obecné struktury matic A, B, C, D. Dále zde jsou zde odvozeny vztahy a základní postupy pro analýzu hybridních dynamických systémů. Z hlediska analýzy se jedná o obecné postupy, jakými je možné rozhodnout o řiditelnosti, pozorovatelnosti, stabilitě a ustálených stavech hybridních dynamických systémů. Pro veškeré uvedené postupy a vztahy jsou řešeny vzorové příklady hybridních regulačních systémů. Pokud je to možné, tak jsou rovněž výsledky získané výpočtem ověřeny pomocí simulace v prostředí MATLAB Simulink.
|
|
|
Chaos Testing of the Strimzi Project Using the Litmus Platform
Zrnčík, Henrich ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The last decade in software engineering has seen a trend towards automation and abstraction with increasing use of micro-service architecture. The trend towards micro-service architecture has brought with it a need to rethink how we implement software quality assurance. Running micro-services in the cloud with multiple distributed components requires additional management of shared and inter dependent components. This in turn requires additional testing of the system's resilience. A possible answer is chaos engineering, which is often considered the next logical step after end-to-end and integration testing. This thesis will focus on the gaps in testing created by the move to micro-service architecture and how chaos engineering can fill them. In particular it will focus on Apache Kafka deployed onto a kubernetes platform (Strimzi) and how the Litmus framework can be used to implement Chaos testing against this deployment. As our use-case was to have long running Kafkas deployed on kubernetes we had to adapt and extend the Litmus framework and build experiments that could test both long running kafkas and long running kubernetes. This thesis will demonstrate how we did this.
|
|
|
Řešení inverzních úloh v oblasti výměníků hmoty a tepla
Kůdelová, Tereza ; Nechvátal, Luděk (oponent) ; Čermák, Jan (vedoucí práce)
Tato bakalářská práce se zabývá dynamickým chováním výměníků tepla, které je popsáno systémem diferenciálních rovnic. V této souvislosti obsahuje obecné informace o nezbytném teoretickém základu týkající se především přenosu tepla. Dále zmiňuje základní typy uspořádání výměníků tepla, které se mohou v praxi vyskytnout. hlavním cílem práce je zodpovědět otázky řiditelnosti, pozorovatelnosti a identifikovatelnosti parametrů obdržené řešením příslušné inverzní úlohy.
|
|
|
Applications of fractional calculus in control theory
Kiša, Daniel ; Nechvátal, Luděk (oponent) ; Kisela, Tomáš (vedoucí práce)
This bachelor's thesis deals with the mathematical theory of fractional calculus and its applications in the field of control theory. We lay out the basics of control of linear time-invariant systems and discuss three of the classical problems - determining stability, controllability, and observability. In the second part, we introduce the Riemann-Liouville and Caputo differintegrals and formulate the above mentioned problems for a fractional-order linear time-invariant system. We discuss the solutions to them and show how they are derived.
|
|
|
Řešení inverzních úloh v oblasti výměníků hmoty a tepla
Kůdelová, Tereza ; Nechvátal, Luděk (oponent) ; Čermák, Jan (vedoucí práce)
Tato diplomová práce se zabývá dynamickým chováním výměníků tepla, které je popsáno systémem diferenciálních rovnic. V této souvislosti obsahuje obecné informace o přenosu tepla, výměnících tepla a jejich uspořádání. Hlavním cílem této práce je řešení inverzní úlohy protiproudého uspořádání a diskuze otázky řiditelnosti, pozorovatelnosti a identifikovatelnosti jeho parametrů.
|
|
|
Chaos Testing of the Strimzi Project Using the Litmus Platform
Zrnčík, Henrich ; Smrčka, Aleš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The last decade in software engineering has seen a trend towards automation and abstraction with increasing use of micro-service architecture. The trend towards micro-service architecture has brought with it a need to rethink how we implement software quality assurance. Running micro-services in the cloud with multiple distributed components requires additional management of shared and inter dependent components. This in turn requires additional testing of the system's resilience. A possible answer is chaos engineering, which is often considered the next logical step after end-to-end and integration testing. This thesis will focus on the gaps in testing created by the move to micro-service architecture and how chaos engineering can fill them. In particular it will focus on Apache Kafka deployed onto a kubernetes platform (Strimzi) and how the Litmus framework can be used to implement Chaos testing against this deployment. As our use-case was to have long running Kafkas deployed on kubernetes we had to adapt and extend the Litmus framework and build experiments that could test both long running kafkas and long running kubernetes. This thesis will demonstrate how we did this.
|
|
|
Applications of fractional calculus in control theory
Kiša, Daniel ; Nechvátal, Luděk (oponent) ; Kisela, Tomáš (vedoucí práce)
This bachelor's thesis deals with the mathematical theory of fractional calculus and its applications in the field of control theory. We lay out the basics of control of linear time-invariant systems and discuss three of the classical problems - determining stability, controllability, and observability. In the second part, we introduce the Riemann-Liouville and Caputo differintegrals and formulate the above mentioned problems for a fractional-order linear time-invariant system. We discuss the solutions to them and show how they are derived.
|
|
|
Řešení inverzních úloh v oblasti výměníků hmoty a tepla
Kůdelová, Tereza ; Nechvátal, Luděk (oponent) ; Čermák, Jan (vedoucí práce)
Tato diplomová práce se zabývá dynamickým chováním výměníků tepla, které je popsáno systémem diferenciálních rovnic. V této souvislosti obsahuje obecné informace o přenosu tepla, výměnících tepla a jejich uspořádání. Hlavním cílem této práce je řešení inverzní úlohy protiproudého uspořádání a diskuze otázky řiditelnosti, pozorovatelnosti a identifikovatelnosti jeho parametrů.
|
|
|
Analyza hybridních dynamických systémů
Holub, Libor ; Findura, Milan (oponent) ; Vavřín, Petr (vedoucí práce)
V této práci je řešena problematika popisu, modelování a analýzy hybridních dynamických systémů. Cílem práce je vybrat vhodnou metodu pro řešení hybridních dynamických systémů a zaměřit se na řešení otázek stanovení řiditelnosti, pozorovatelnosti a stability hybridních dynamických systémů. Práce se zabývá dvěmi typy hybridních systémů. V první části je uveden popis a modelování hybridních systémů složených ze spojité části a diskrétní části tvořené systémem diskrétních událostí. Pro popis a modelování těchto hybridních systémů jsou použity hybridní automaty a hybridní Petriho sítě. Uvedené možnosti popisu a modelování jsou ukázány na jednoduchých vzorových příkladech. Druhá část práce je zaměřena na popis, modelování a analýzu hybridních dynamických systémů, které jsou tvořeny spojením spojitého dynamického systému a diskrétního dynamického systému. Pro popis, modelování a analýzu hybridních dynamických systémů je použito stavového prostoru. Jsou zde uvedeny obecné stavové rovnice, pomocí nichž je možné provést popis hybridního systému, a jim odpovídající obecné struktury matic A, B, C, D. Dále zde jsou zde odvozeny vztahy a základní postupy pro analýzu hybridních dynamických systémů. Z hlediska analýzy se jedná o obecné postupy, jakými je možné rozhodnout o řiditelnosti, pozorovatelnosti, stabilitě a ustálených stavech hybridních dynamických systémů. Pro veškeré uvedené postupy a vztahy jsou řešeny vzorové příklady hybridních regulačních systémů. Pokud je to možné, tak jsou rovněž výsledky získané výpočtem ověřeny pomocí simulace v prostředí MATLAB Simulink.
|
|
|
Řešení inverzních úloh v oblasti výměníků hmoty a tepla
Kůdelová, Tereza ; Nechvátal, Luděk (oponent) ; Čermák, Jan (vedoucí práce)
Tato bakalářská práce se zabývá dynamickým chováním výměníků tepla, které je popsáno systémem diferenciálních rovnic. V této souvislosti obsahuje obecné informace o nezbytném teoretickém základu týkající se především přenosu tepla. Dále zmiňuje základní typy uspořádání výměníků tepla, které se mohou v praxi vyskytnout. hlavním cílem práce je zodpovědět otázky řiditelnosti, pozorovatelnosti a identifikovatelnosti parametrů obdržené řešením příslušné inverzní úlohy.
|
host ::
RSS.